#include<bits/stdc++.h>
int main(int argc, char**argv) {
  int count = 0;
  printf("%d %d %d\n", count++ ,count++ ,count++);
  // 2 1 0 on Linux 5.4.50 x86_64
  return 0;
}
